Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
661	facultad de inform´ atica universidad polit´ecnica de madrid Automatic Coding Rule Conformance Checking Using Logic Programming Add to Reading List Source URL: clip.dia.fi.upm.es Language: English - Date: 2007-09-01 17:49:20 C programming language MISRA C Prolog C Type system Computing Programming language theory Software engineering
662	Embedding logics in Dedukti 2014 edition Ali Assaf 2nd KWARC-Deducteam workshop May 26, 2014 Add to Reading List Source URL: who.rocq.inria.fr Language: English - Date: 2015-01-08 08:10:54 Type theory Lambda calculus Formal methods Logic in computer science Coq Pure type system HOL Correctness Automated proof checking Theoretical computer science Applied mathematics Programming language theory
663	Ranking Queries on Uncertain Data: A Probabilistic ∗ Threshold Approach Ming Hua Jian Pei Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2008-03-19 21:31:26 Mathematical notation Tuple Type theory Relational model Mean Exponentiation Binomial distribution Relational algebra Tuple relational calculus Mathematics Mathematical analysis Data management
664	K. BRAD WRAY COLLECTIVE BELIEF AND ACCEPTANCE ABSTRACT. Margaret Gilbert explores the phenomenon referred to in everyday ascriptions of beliefs to groups. She refers to this type of phenomenon as “collective belief” Add to Reading List Source URL: simonbarker.is Language: English - Date: 2012-10-12 06:04:31 Critical thinking Sociology Belief Justification Collective belief Science studies Margaret Gilbert Theory of justification Bruno Latour Knowledge Science Epistemology
665	Third Workshop on Script to Program Evolution STOP 2012 This year marks the third edition of the STOP workshop series, and a colocation with ECOOP and PLDI in Beijing, China. For this year’s STOP, the goal was to take Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2012-06-10 11:12:02 Type theory Data types Object-oriented programming Cross-platform software Functional programming Type system JavaScript Duck typing C Software engineering Computing Computer programming
666	Reflection without Remorse Revealing a hidden sequence to speed up monadic reflection Atze van der Ploeg Oleg Kiselyov Add to Reading List Source URL: okmij.org Language: English - Date: 2014-06-24 05:23:23 Functional programming Data types Type theory Higher-order functions Adjoint functors Monad Pattern matching Type system List Software engineering Declarative programming Computing
667	On Elementary Linear Logic and polynomial time (Extended Abstract) Patrick Baillot∗ ENS Lyon, Universit´e de Lyon, LIP (UMR 5668 CNRS-ENSL-INRIA-UCBL) Add to Reading List Source URL: www.cs.swan.ac.uk Language: English - Date: 2015-05-05 07:12:16 Complexity classes Proof theory Structural complexity theory Curry–Howard correspondence Type theory NP Time complexity Reduction Linear logic Theoretical computer science Computational complexity theory Applied mathematics
668	COMPUTER SCIENCE TRIPOS Part IB – 2012 – Paper 3 5 Compiler Construction (DJG) (a) Define the following forms of variable: Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2014-06-09 10:18:42 Type theory Memory management Data types Procedural programming languages Variables Type system C Local variable Garbage collection Software engineering Computing Computer programming
669	In-Depth Coverage of the Icon Programming Language December 1991 Number 9 In this issue … Bogus Expressions … 1 Add to Reading List Source URL: www.cs.arizona.edu Language: English - Date: 1998-11-16 14:45:20 Data types Type theory Icon Type system String C Variable Type inference Subroutine Software engineering Computing Computer programming
670	Integrated Design and Process Technology, IDPT-2002 Printed in the United States of America, June, 2002 c 2002 Society for Design and Process Science COMBINING STATIC AND DYNAMIC ANALYSES TO DETECT INTERACTION PATTERNS Add to Reading List Source URL: arisa.se Language: English - Date: 2013-01-05 08:49:43 Computer programming Object-oriented programming Type theory Data types Observer pattern Design Patterns Behavioral pattern Tuple Type system Software engineering Software design patterns Computing

UPDATE